Automating Leibniz's Theory of Concepts
نویسندگان
چکیده
Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of automated theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools.
منابع مشابه
A (leibnizian) Theory and Calculus of Concepts
In the eyes of many philosophers, Leibniz established his credentials as a clear and logically precise thinker by having invented the diieren-tial and integral calculus. However, Leibniz's philosophical views about concepts, monads, possible objects, and the containment theory of truth are not often regarded as similar models of clarity and precision. At best, philosophers might agree that Leib...
متن کاملDiscovering the Underlying Components Affecting the Usability of IoT in Iranian Libraries: A Theory Based on Context
Objective: The aim is to discover the underlying context components of IOT usability in Iranian libraries: A qualitative approach consistent with grounded theory. Method: This qualitative study was conducted based on grounded theory. Data were collected through semi-structured interviews with 13 faculty members of knowledge and information science based on purposeful and chain methods. Responsi...
متن کاملLeibniz ' s Model Of Creation And His Doctrine Of Substance
The subject of creation has long been recognized as central to Leibniz's philosophy. In general, the tendency has been to understand Leibniz's view of the creation of the universe as the actualization of a set of possible substances which stand together in a relation of pre-established harmony. From there, scholarly interest generally seems to shift to questions concerning Leibniz's views on su...
متن کاملLeibniz’s Monads and Mulla Sadra’s Hierarchy of Being: A Comparative Study
Mulla Sadra and Leibniz, the two philosophers from the East and the West, belong to two different worlds. Though they were unaware of the ideas of each other, their philosophical systems share certain common points that are comparable. Monads constitute the basis of Leibniz's thought and he refers to their features in his various works. On the other side, Mulla Sadra's philosophy is also based ...
متن کاملCATEGORY THEORY as an extension of Martin - Lflf Type Theory
Category theory has tong been widely recognised as being conveniently formalisable In constructive mathematics. We describe a computer implementation of its basic concepts, as an extension of the Goteborg implementation of Martin-Lofs theory of types; we discuss some alternative formulations of the theory (and our reasons for rejecting them) and briefly comment on the problems of automating the...
متن کامل